Victor Vranceanu: Inria, Intern, from Mar 2014 until Jul 2014
Eric Manzi: Inria, Intern, from Jun 2014 until Aug 2014